แท็ก

#AI for Science

8 บทความ

OpenAI อ้างโมเดลภายในหักล้าง Exponential Time Hypothesis — นับคำตอบ k-SAT ได้ในเวลา subexponential พร้อม Lean, และอ้างพิสูจน์ local smoothing/Kakeya ทุกมิติกับการมีอยู่ของ Yang–Mills/QCD ด้วย แต่ยังไม่มีใครภายนอกยืนยัน
งานวิจัย

OpenAI อ้างโมเดลภายในหักล้าง Exponential Time Hypothesis — นับคำตอบ k-SAT ได้ในเวลา subexponential พร้อม Lean, และอ้างพิสูจน์ local smoothing/Kakeya ทุกมิติกับการมีอยู่ของ Yang–Mills/QCD ด้วย แต่ยังไม่มีใครภายนอกยืนยัน

เมื่อ 26 ต.ค. 2026 OpenAI ประกาศผลงานใหม่ 3 ชิ้นจากโมเดลภายใน ชิ้นที่ใหญ่ที่สุดคือ preprint "The Exponential Time Hypothesis is False" ซึ่งเสนออัลกอริทึม deterministic ที่นับคำตอบของ k-CNF ได้ในเวลา 2^O(n/√log n) และมี Lean formalization ประกอบ คณะที่นำโดย Impagliazzo, Paturi (ผู้ตั้ง ETH) และ Ryan Williams จะเป็นผู้ตรวจ ส่วนอีกสองชิ้นคือ local smoothing/Kakeya ทุกมิติ และการมีอยู่ของ Yang–Mills/QCD ซึ่งยังไม่ปล่อยเอกสาร ทั้งหมดยังเป็น claim ที่ไม่มีผู้เชี่ยวชาญภายนอกยืนยัน

· อ่าน 6 นาที
Claude ออกแบบวงจรควอนตัมที่ดีกว่างานตีพิมพ์ 7 ใน 8 โจทย์ — ตัว decoder ของ DQI ใช้เกตน้อยลง 12 เท่า และสร้าง modular inversion แบบ reversible ใหม่บนเส้นโค้ง secp256k1 ใน 53 ชั่วโมง แต่วงจรบวกจุดยังไม่ชนะ Schrottenloher ทุกด้าน
งานวิจัย

Claude ออกแบบวงจรควอนตัมที่ดีกว่างานตีพิมพ์ 7 ใน 8 โจทย์ — ตัว decoder ของ DQI ใช้เกตน้อยลง 12 เท่า และสร้าง modular inversion แบบ reversible ใหม่บนเส้นโค้ง secp256k1 ใน 53 ชั่วโมง แต่วงจรบวกจุดยังไม่ชนะ Schrottenloher ทุกด้าน

Anthropic เผยงานวิจัยเมื่อ 16 ต.ค. ที่ให้ Claude Mythos 5 ออกแบบวงจรควอนตัม 8 โจทย์ผ่านลูป OpenEvolve กับตัวตรวจอัตโนมัติ ผลคือ 7 โจทย์ใช้ทั้ง Toffoli และ qubit น้อยกว่างานที่ดีที่สุดที่ตีพิมพ์ (ดีขึ้น 4.1–39 เท่าตามค่า T×Q) และโจทย์ที่ 8 ได้วงจร modular inversion แบบ divsteps ที่ไม่ต้องเก็บประวัติ ซึ่งเป็นครั้งแรกบน prime field แต่เปเปอร์เองแสดงว่าวงจรบวกจุดของ Claude ยังมีค่า T×Q สูงกว่างานของ Schrottenloher

· อ่าน 6 นาที
OpenAI เปิดรีโป openai/math: ผลงานคณิตศาสตร์ 722 ฉบับจากโมเดลภายในที่ยังไม่เปิดตัว — อ้างพิสูจน์ quasi-Riemann hypothesis และ Unique Games Conjecture พร้อม Lean กว่า 25 ล้านบรรทัด แต่ยังไม่มีนักคณิตศาสตร์ภายนอกตรวจ และ AGMAI ย้ำว่า "ไม่รับรอง"
งานวิจัย

OpenAI เปิดรีโป openai/math: ผลงานคณิตศาสตร์ 722 ฉบับจากโมเดลภายในที่ยังไม่เปิดตัว — อ้างพิสูจน์ quasi-Riemann hypothesis และ Unique Games Conjecture พร้อม Lean กว่า 25 ล้านบรรทัด แต่ยังไม่มีนักคณิตศาสตร์ภายนอกตรวจ และ AGMAI ย้ำว่า "ไม่รับรอง"

6 ต.ค. 2026 OpenAI ปล่อยรีโป openai/math (Apache-2.0) ที่มีต้นฉบับคณิตศาสตร์ 722 ฉบับใน 372 กลุ่มผลลัพธ์ ทั้งหมดสร้างโดยโมเดลภายในที่ยังไม่เปิดตัว ผลเด่นคือ quasi-Riemann hypothesis (ฟังก์ชันซีตาไม่มีศูนย์ใน Re s > 7/8) ซึ่งมีบทพิสูจน์ใน Lean รอให้คนตรวจ แต่ใน catalogue ของรีโปเองยังเขียนสถานะว่า review: unchecked และกลุ่ม AGMAI ออกแถลงการณ์วันเดียวกันว่าการให้คำแนะนำครั้งนี้ไม่ใช่การรับรองผล

· อ่าน 7 นาที
OpenAI บอกว่าโมเดลภายในที่เริ่มเทรน 28 ส.ค. แก้โจทย์คณิตศาสตร์ที่ค้างมานานได้ "มากกว่า 100 ข้อ" — นักคณิตศาสตร์ 9 คนตั้งกลุ่มที่ปรึกษาอิสระเพื่อดูว่าจะทยอยปล่อยผลอย่างไร
งานวิจัย

OpenAI บอกว่าโมเดลภายในที่เริ่มเทรน 28 ส.ค. แก้โจทย์คณิตศาสตร์ที่ค้างมานานได้ "มากกว่า 100 ข้อ" — นักคณิตศาสตร์ 9 คนตั้งกลุ่มที่ปรึกษาอิสระเพื่อดูว่าจะทยอยปล่อยผลอย่างไร

21 ก.ย. 2026 OpenAI เผยว่าโมเดลภายในที่เริ่มเทรนเมื่อ 28 ส.ค. นอกจาก Navier–Stokes แล้วยังแก้โจทย์เปิดที่ค้างมานานได้มากกว่า 100 ข้อในแทบทุกสาขา และประกาศทำงานกับ Advisory Group on Mathematics and AI กลุ่มนักคณิตศาสตร์ 9 คน (Gowers, Hairer, Witten ฯลฯ) ที่ตั้งอย่างอิสระที่ IAS งานแรกคือให้คำแนะนำว่าจะปล่อยผลจำนวนมากนี้อย่างไร แต่กลุ่มจะไม่ให้คำแนะนำเรื่องความเร็วในการพัฒนา และยังไม่มีการเปิดรายชื่อโจทย์

· อ่าน 5 นาที
Intern-S2-397B ตัวเต็มเปิดน้ำหนัก Apache-2.0 — config เหมือน Qwen3.5-397B-A17B ทุกค่ายกเว้น vocab น้ำหนักจับคู่ได้ที่ r≈0.998 แต่การ์ดไม่เอ่ยชื่อ Qwen และแถว SWE-Bench-Pro ของคู่แข่งเปลี่ยนไปจากตารางฉบับ Preview
โมเดลใหม่

Intern-S2-397B ตัวเต็มเปิดน้ำหนัก Apache-2.0 — config เหมือน Qwen3.5-397B-A17B ทุกค่ายกเว้น vocab น้ำหนักจับคู่ได้ที่ r≈0.998 แต่การ์ดไม่เอ่ยชื่อ Qwen และแถว SWE-Bench-Pro ของคู่แข่งเปลี่ยนไปจากตารางฉบับ Preview

13 ก.ย. Shanghai AI Lab อัปโหลด Intern-S2-397B โมเดลมัลติโมดัลสายวิทยาศาสตร์ขนาด 403B (BF16 807 GB, FP8 406 GB) ใต้ Apache-2.0 — config ตรงกับ Qwen3.5-397B-A17B ทุกค่ายกเว้น vocab ที่เพิ่ม 3,072 โทเคน และ layernorm ห้าชั้นที่สุ่มตรวจจับคู่กับ Qwen ได้ที่ r 0.997–0.999 แต่การ์ดไม่เอ่ยชื่อฐาน ตารางรายงาน SWE-Bench-Pro 68.54 ขณะที่คะแนนของ Claude Opus 4.8 และ GLM-5.2 ในแถวเดียวกันเปลี่ยนไปจากตารางฉบับ Preview เดือน ก.ค. โดยไม่มีคำอธิบาย

· อ่าน 6 นาที
Clay Institute ออกแถลงว่าโจทย์ Navier–Stokes "ดูเหมือนจะได้ข้อยุติแล้ว" โดยไม่เอ่ยชื่อ OpenAI — ขณะที่ OpenAI ถอนสปอนเซอร์ Caltech Mathathon
งานวิจัย

Clay Institute ออกแถลงว่าโจทย์ Navier–Stokes "ดูเหมือนจะได้ข้อยุติแล้ว" โดยไม่เอ่ยชื่อ OpenAI — ขณะที่ OpenAI ถอนสปอนเซอร์ Caltech Mathathon

11 ก.ย. Clay Mathematics Institute ผู้ดูแลรางวัล Millennium Prize เผยแพร่แถลงสั้น ๆ ว่าโจทย์ Navier–Stokes "ดูเหมือนจะได้ข้อยุติแล้ว" แต่ไม่เอ่ยชื่อ OpenAI และย้ำว่ากระบวนการพิจารณา "ตั้งใจให้ไม่เร่งรีบ" ส่วนกติกากำหนดให้ต้องตีพิมพ์ในแหล่งที่เข้าเกณฑ์และรออย่างน้อยสองปี วันก่อนหน้า EMS เรียกผลนี้ว่าหมุดหมาย แต่ติงว่าโมเดลที่ใช้เป็นโมเดลภายใน และ OpenAI ถอนสปอนเซอร์ Caltech Mathathon หลังนักคณิตศาสตร์ออกจดหมายเปิดผนึก

· อ่าน 4 นาที
ผู้ได้เหรียญ Fields 25 คนลงนามแถลงการณ์ "A Severe Misalignment of AI in Mathematics" — เป้าหมายของบริษัท AI กับวงการคณิตศาสตร์ "ไม่ตรงกันอย่างรุนแรง" แต่ไม่มีข้อเรียกร้องที่จับต้องได้สักข้อ
งานวิจัย

ผู้ได้เหรียญ Fields 25 คนลงนามแถลงการณ์ "A Severe Misalignment of AI in Mathematics" — เป้าหมายของบริษัท AI กับวงการคณิตศาสตร์ "ไม่ตรงกันอย่างรุนแรง" แต่ไม่มีข้อเรียกร้องที่จับต้องได้สักข้อ

11 ก.ย. ผู้ได้เหรียญ Fields 25 คน ตั้งแต่ Pierre Deligne (1978) ถึง Yu Deng (2026) รวมถึง Terence Tao, Peter Scholze และ Maryna Viazovska เผยแพร่แถลงการณ์ที่ mathandai.org ว่าการที่บริษัท AI ใช้การแก้โจทย์คณิตศาสตร์เป็นเบนช์มาร์กกำลังทำร้ายวิชาและชุมชน — ประกาศผลแบบเร่งรีบ ไม่อ้างอิงงานก่อนหน้า และตัดสายการถ่ายทอดความเข้าใจระหว่างมนุษย์ แถลงการณ์ไม่เอ่ยชื่อบริษัทใด และต่างจาก Leiden Declaration ตรงที่ไม่มีข้อเสนอเชิงปฏิบัติ

· อ่าน 6 นาที
Co-Scientist ของ Google ลงมือทำแล็บจริง — ปลูกผลึกเซมิคอนดักเตอร์สำเร็จตั้งแต่ครั้งแรก แล้วเขียนเปเปอร์เอง โดยมี 30 ผู้เชี่ยวชาญตรวจแบบปิดตา
งานวิจัย

Co-Scientist ของ Google ลงมือทำแล็บจริง — ปลูกผลึกเซมิคอนดักเตอร์สำเร็จตั้งแต่ครั้งแรก แล้วเขียนเปเปอร์เอง โดยมี 30 ผู้เชี่ยวชาญตรวจแบบปิดตา

27 ส.ค. 2026 ทีม Google ปล่อยเปเปอร์ที่ขยาย Co-Scientist จากระบบตั้งสมมติฐาน ไปเป็นระบบที่คุมเครื่อง CVD ปลูกโมโนเลเยอร์ MoS2/MoSe2/WS2 สำเร็จตั้งแต่ครั้งแรกใน ~1 ชั่วโมง และเขียนต้นฉบับงานวิจัยเองครบวงจร — พร้อมตัวเลขที่น่าสนใจกว่าผลการทดลอง คือโมดูลกันมั่วลดอัตราการกุผลลัพธ์จาก 90% เหลือ 4%

· อ่าน 8 นาที